"47.89401#6.62188"^^ . "47.8940175"^^ . "6.62188053"^^ . . .