"48.32372#7.42568"^^ . "48.323721"^^ . "7.42568"^^ . . .