"46.93723#5.87708"^^ . "46.93723"^^ . "5.87708"^^ . . .