"47.81943#7.17924"^^ . "47.8194396724742"^^ . "7.17924515141385"^^ . . .