[768] Der Grābstichel, 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.