"48.73474#7.24924"^^ . "48.7347445"^^ . "7.2492465"^^ . . .