Werkzeugstahl, gehärtet