Der Grabstichel
Der Grabstichel,
[
767-768] des -s, plur. ut nom. sing.
ein stählerner Griffel der Kupferstecher und anderer Metallarbeiter, erhabene
oder vertiefte Figuren damit in Metall zu graben oder zu stechen; der Stichel,
das Grabeisen, der Grabmeißel.
S. Stichel.
