[808] Cast-steel (engl., spr. käßt-ßtīl), Gußstahl.
Meyers-1905: Hot cast porcelain · Cast-iron
Pierer-1857: Steel