framtid ; det manskap , som hittills användta till att pumpa ned luft till dykaron , medan hail arbetade , hehöfves icke mer , om det än kan vara nödigtatt