"47.32415#5.03381"^^ . "47.32415"^^ . "5.03381"^^ . . .