Marine engineering. Changes in Manual of engineering instructions, no. 32; Oct. 17, 1925.

Tools