Eine sehr aufschlussreiche und interessante Übersicht!
Allerdings sind die Härteangaben mit Vorsicht zu geniessen, man sollte für die metallurgisch unbewanderten Leser hinzufügen dass diese Werte üblicherweise für Durchmesser von 1" / 25mm gültig sind.
Wenn man von Messerklingen und deren Geometrien ausgeht müssen die angegebenen HRC bei einigen doch noch einige Grad nach oben korrigiert werden. 53 ..56 HRC für 4034, 4037 und 4112 sind sicher nicht das Maximum, 60..61 HRC sind beim 4034 schon möglich.