Gary Sheet and Tube Company. Estimate of appropriation submitted by commissioners of District of Columbia to pay claim [of Gary Sheet & Tube Co.].