I have access to various bits of a German spec steel at work. It is supposed to be comparable to 5115. The name is 16MnCr5 1.7131. With an advertised carbon content of 0.14 to 0.19 and a surface hardness of 58 -62, it seems like it would be a decent steel to use. Any experience working with this alloy or something similar?