Diving manual, 1943.

Tools