"47.92308#7.02715"^^ . "47.9230864081757"^^ . "7.02715158462524"^^ . "1180.0"^^ . . .