Kratzeisen
, des -s, plur. ut nom. sing. eine eiserne Kratze oder Werkzeug zum Kratzen. So haben die Kupferstecher ein solches dreyeckiges Eisen, die fehlerhaften Stellen in einer gestochenen Platte damit auszukratzen. In der Artillerie ist das Kratzeisen ein eisernes Werkzeug, die Unreinigkeiten in den Kammern der Mörser und Kammerstücke damit los zu kratzen, welches auch der Kriecher genannt wird. S. Kratze und Krätzer.