Eintrag · Campe (1807–1813)
Grabstichel Der
Der Grabstichel, des — s, d. Mz. w. d. Ez. ein stählernes spitziges Werkzeug der Kupferstecher, Stahlschneider allerlei Züge, Bilder damit in Metall zu graben oder zu stechen; der Stichel, der Grabmeißel, das Grabeisen, das Grabscheit, der Griffel. Bei den Lederteppichmachern ist der Grabstichel ein eiserner Stempel mit eingeschnittenen Verzierungen, welche vermittelst desselben dem Leder aufgedrückt werden; bei den Wachslichtziehern hingegen ist er ein hölzernes Werkzeug, womit sie in die großen Altarlichter Streifen eindrücken.