District Courts. Additional term of district court in northern district of Ohio, report to accompany H. R. 10817 [to amend sec. 100 of judicial code, so as to provide for terms of district court at Lima, Ohio]; submitted by Mr. Nelson.