"47.92017#5.35137"^^ . "47.920179"^^ . "5.351375"^^ . . .