Libraries of U. S. Government departments and agencies in Washington, D. C. [list].