"47.88471#6.85354"^^ . "47.884716"^^ . "6.853547"^^ . . .