"47.83274#5.31884"^^ . "47.832748"^^ . "5.318842"^^ . . .