[822] Der Grubenjunge, des -n, plur. die -n, eben daselbst, ein Knabe, welcher den Bergleuten in den Gruben an die Hand gehet.