( mindre fartyg ) ; Gibraltarf.