Government offices. Directory, lists: Executive departments, agencies, and establishments of United States Government; [Dec. 15, 1940].