[878] Waschmühle, 1) so v. w. Waschhämmer, s. Waschmaschine B) c); 2) (Hüttenw.), so v. w. Waschscheidebank.