[119]Grabstichel, das stählerne Werkzeug [119] der Graveurs, Stahl- u. Kupferstecher und Holzschneider, nach seiner verschiedenen Bestimmung und Form: Messerzeiger, Flachstichel, Bolzenstichel etc.
Quelle:
Herders Conversations-Lexikon. Freiburg im Breisgau 1855, Band 3, S. 119-120.