"47.86723#5.33182"^^ . "47.867239"^^ . "5.331824"^^ . . .