"47.90809#6.78477"^^ . "47.9080933060635"^^ . "6.78477523803712"^^ . . .