[715] Stecheisen, 1) seine, schneidende Werkzeuge von verschiedener Gestalt, womit die Formschneider die Vertiefungen der hölzernen Formen ausstechen; 2) ein Werkzeug mit einer Angel, woran es in den Schraubstock gespannt wird; das andere meißelartige Ende enthält stumpfe Kerben, worin die Glieder kleiner Ketten krumm gebogen u. dann auf der Schärfe des Meißels abgehauen werden; 3) eine Art runder, hohler Stempel, womit Folienblättchen zu Knöpfen u. dgl. ausgeschlagen werden; 4) so v.w. Fischgabel; 5) Werkzeug zum Abstechen der Disteln; 6) flüssiges Eisen, welches aus dem Hochofen abgestochen worden ist; 7) so v.w. Augeneisen, s.u. Auge 8); 8) so v.w. Stechbeitel.