"47.93482#7.23207"^^ . "47.934823"^^ . "7.232072"^^ . . . . .