"47.90613#5.12732"^^ . "47.906133"^^ . "5.127325"^^ . . .