Istria (Pula, Rovinj, Porec and Rabac): quando mergulhar