Krk y el golfo de Kvarner: fuentes de la guía de buceo