I have a European customer that specifies a SS1.4034 hardened, not tempered material on thier print. This is Stainless Steel specification, but does anyone know where I can find a conversion from this specification to a AISI number? If it is DIN, it isn't in my machinery's handbook edition...