[725] Grubenzscherper, kurzes, an der ledernen, um den Leib geschnallten Grubentasche befestigtes, starkes Messer, welches der Bergmann mit in die Grube nimmt.