[30]Die Mahlmühle, plur. die -n, eine Mühle, auf welcher Getreide gemahlen wird; zum Unterschiede von einer Malzmühle, Säge- oder Schneidemühle, Öhlmühle, Stampfmühle u.s.f.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 30.