A comparison of plasma and gaseous nitriding for tools in hot massive forming. (September 2013)