"47.72711#7.22345"^^ . "47.7271188"^^ . "7.22345300000006"^^ . . .