"47.98312#7.28944"^^ . "47.9831215"^^ . "7.28944179999996"^^ . . .