"48.0632#7.02243"^^ . "48.0632069561948"^^ . "7.02243007420501"^^ . . .