Defense production record, official weekly bulletin of defense production program, June 5, 1952-Jan. 1, 1953; v. 2, no. 23-v. 3, no. 1.