Influence of Nitrogen Content in the Working Gas Mixture on the Structure and Properties of the Nitrided Surface of Die Steel | IEEE Conference Publication | IEEE Xplore