"47.83092#5.33654"^^ . "47.830929"^^ . "5.336546"^^ . . .