"47.83378#5.37437"^^ . "47.833785"^^ . "5.374374"^^ . . .