"42.23777#8.6375"^^ . "42.2377778"^^ . "8.6375"^^ . . .