- Drechselmühle, die
Die Drêchselmühle, plur. die -n, ein Mühlwerk, dessen sich die Rothschmiddrechsler bedienen, starke Stücke aus Messing zu drechseln; daher sie selbst auch zuweilen Drechselmüller genannt werden.
http://www.zeno.org/Adelung-1793. 1793–1801.