[1396] Der Scheidejunge, des -n, plur. die -n, im Bergbaue, Knaben, welche zum Scheiden des Erzes gebraucht werden.