"48.80035#7.23842"^^ . "48.8003537"^^ . "7.2384256"^^ . . .