Istria (Pula, Rovinj, Porec and Rabac): plan de buceo, puntos y mapa