Teachers. Retirement of public school teachers in District of Columbia, hearings on H. R. 2076, June 5 and 6, 1919.