M35, DIN 3243, AISI M35