"47.8202#7.15148"^^ . "47.8202076895321"^^ . "7.15148270130158"^^ . . .