Die Schleifmühle
, [
1519-1520] 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.