"48.87936#7.07541"^^ . "48.879364612685"^^ . "7.07541527112324"^^ . . .