"48.76623#7.25156"^^ . "48.76623"^^ . "7.251563"^^ . . .