"47.87418#7.02901"^^ . "47.8741878103194"^^ . "7.02901840209961"^^ . . .