[1519] Die Schleifmühle, plur. die -n, ein Mühlwerk, wo allerhand Schleifsteine durch das Wasser umgetrieben werden, um das Schleifen zu erleichtern. Ingleichen eine Maschine, welche aus freyer Hand beweget wird, die optischen Gläser darauf zu schleifen.