Bägge dykerifartygens samtlige pumpar,