Porto Santo: Tauchsicherheit und lokale Regeln