"47.62334#7.23773"^^ . "47.6233461219784"^^ . "7.23773133750381"^^ . . .