"47.95871#7.38415"^^ . "47.9587134206231"^^ . "7.38415360450745"^^ . . .