Die Grūbentásche, plur. die -n, eben daselbst, eine Tasche, welche die Bergleute vermittelst eines ledernen Riemens um den Leib befestigen, ihr Licht und Feuerzeug darin bey sich zu führen.
http://www.zeno.org/Adelung-1793. 1793–1801.
Grubenzscherper — Grubenzscherper, kurzes, an der ledernen, um den Leib geschnallten Grubentasche befestigtes, starkes Messer, welches der Bergmann mit in die Grube nimmt … Pierer's Universal-Lexikon
Grubentscherper, der — Der Grubentschêrper, des s, plur. ut nom. sing. eben daselbst, ein großer Messer, welches die Bergleute neben der Grubentasche führen, und in der Grube gebrauchen. Siehe Tscherper … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
Tscherper, der — Der Tschêrper, des s, plur. ut nom. sing. ein nur bey den Obersächsischen Bergleuten übliches Wort, ein großes Messer zu bezeichnen. Bey ihnen ist der Grubentscherper ein großes bergmännisches Messer, welches sie in der Grubentasche bey sich… … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
