[776] Kratzeisen, 1) eisernes Werkzeug, die Kammern der Kammerstücke zu reinigen: 2) dreischneidiger Grabstichel der Kupferstecher, um einzelne Züge auszubessern ihnen mehr Stärke zu geben; 3) gekrümmtes hohles Eisen, womit der Holzschneider das Holz an solchen Stellen ausgräbt u. polirt, wo Fernen od. lichte Punkte hinkommen sollen; 4) kleines Messer, womit Putzen n. Flecken vom Papier abgekratzt werden; 5) mit scharfen Zähnen versehenes Instrument für Buchbinder s.d.