Auskleinen

* Auskleinen, verb. reg. act. welches nur in dem Bergbaue üblich ist, in kleinen Stücken heraus bringen, besonders von dem Herausklauben der Erze aus den Halden, weil der Ertrag davon sehr geringe ist. So auch die Auskleinung.