合金工具鋼。歴史と興味深い点。