Cleaning out some of my father's gear, I found an Uncle Henry slip joint pocket knife he bought in the 1980s. While I don't have it in front of me, it is a three-bladed pocket knife, nickel bolsters, brass liners, a configuration that was in every man's pocket until perhaps 20 years ago. What stainless steel was used for blades?