[1119] Der Bohrkrätzer, des -s, plur. ut nom. sing. im Bergbaue, ein eisernes Werkzeug, das Bohrmehl damit aus dem Bohrloche zu räumen.
Pierer-1857: Bohrkrätzer