"48.73497#7.0519"^^ . "48.7349751"^^ . "7.0519002"^^ . . .