[1538]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.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 1. Leipzig 1793, S. 1538.