[23] Blasenstahl, durch Zementieren erhaltener, auf der Oberfläche blasiger Rohstahl; s. Eisen.
Pierer-1857: Blasenstahl