[302] Der Mühlenarbeiter, des -s, plur. ut nom. sing. im Bergbaue, diejenigen Arbeiter, welche in den Pochwerken und Wäschen gebraucht werden.
Pierer-1857: Mühlenarbeiter