“the history of the atmospheric diving suit”