"47.86129#5.73781"^^ . "47.861292"^^ . "5.737817"^^ . . .