Supplement to Gauging manual of 1941.

Tools