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.