[219] Der Spitzstahl, des -es, plur. die -stähle, bey den Drechslern ein zugespitzter Drehstahl.
Lueger-1904: Spitzstahl
Meyers-1905: Spitzstahl
Pierer-1857: Spitzstahl