Official bulletin, May 1940; no. 25.

Tools