"47.92422#7.03047"^^ . "47.9242200101143"^^ . "7.03047714233398"^^ . "1250.0"^^ . . .