[1398] Die Waschgrube, plur. die -n, im Hüttenbaue, die mit Bohlen ausgeschälte Grube, worin das Erz gewaschen wird.
Pierer-1857: Waschgrube