[1556] Der Kêrnstahl, des -es, plur. inus. der beste Steiermärkische Stahl, welcher aus gesintertem Eisen bereitet wird. Siehe 2. Kern 2. 3).
Pierer-1857: Kernstahl