"47.83337#5.33902"^^ . "47.833379"^^ . "5.339021"^^ . . .