"47.79575#7.34407"^^ . "47.7957503275136"^^ . "7.34407930162217"^^ . . .