[837] Stahlstein, Mineral, soviel wie Spateisenstein.
Adelung-1793: Stahlstein, der
Brockhaus-1911: Stahlstein
Lueger-1904: Stahlstein, -eisenstein
Pierer-1857: Stahlstein