"48.81413#7.5307"^^ . "48.814137"^^ . "7.530706"^^ . . .