Istria (Pula, Rovinj, Porec and Rabac): cuándo bucear