Government officials and employees. Semiannual report of employment, Executive branch of Federal Government, June 1940.