Defense production record, official weekly bulletin of defense production program, Dec. 6, 1951-May 29, 1952; v. 1, no. 32-v. 2, no. 22.