Notes on the heat treatment of cold extrusion punches (Metal forming, 1963)