Herkunft und Geschichte von grist-mill

Im Altenglischen bezeichnete grist die "Handlung des Mahlens" oder "Getreide, das gemahlen werden soll." Möglicherweise steht es in Verbindung mit grindan, was "mahlen" bedeutet (siehe grind (v.)), obwohl das Oxford English Dictionary diese Verbindung als "schwierig" einstuft. Die Bedeutung "Weizen, der gemahlen werden soll," taucht bereits im frühen 15. Jahrhundert auf, ebenso wie die bildliche Erweiterung dieses Begriffs.

Im Mittelenglischen mille, was so viel wie „Gebäude, das zum Mahlen von Getreide geeignet ist“ bedeutet. Im Altenglischen hieß es mylen, was „eine Mühle“ bezeichnete (10. Jahrhundert). Dieses Wort ist eine frühe germanische Entlehnung aus dem Spätlateinischen molina, molinum, was „Mühle“ bedeutet (der Ursprung für das französische moulin und das spanische molino). Ursprünglich war es feminin und neutrum von molinus, was „zur Mühle gehörend“ bedeutet, abgeleitet vom Lateinischen mola („Mühle, Mahlstein“). Es steht in Verbindung mit molere, was „mahlen“ heißt, und stammt von der indogermanischen Wurzel *mele-, die „zerdrücken, mahlen“ bedeutet. Das -n- ging im Englischen allmählich verloren, lebt jedoch im Nachnamen Milner weiter. Auch aus dem Spätlateinischen molina stammen direkt oder indirekt die deutschen Begriffe Mühle, das alt-sächsische mulin, das altnordische mylna, das dänische mølle und das altkirchenslawische mulinu.

Die Bedeutung „mechanisches Gerät zum Mahlen von Getreide für Nahrungsmittel“ setzte sich in den 1550er Jahren durch. Der weiter gefasste Begriff „Maschine zum Mahlen oder Zerkleinern jeder festen Substanz“ ist seit den 1670er Jahren belegt. Andere Arten von Fertigungsmaschinen, die durch Wind oder Wasser angetrieben werden und Rohstoffe durch einen anderen Prozess als das Mahlen umwandeln, wurden ab dem frühen 15. Jahrhundert ebenfalls als mills bezeichnet. Der Sinn von „großem Gebäude, das mit Maschinen zur Herstellung ausgestattet ist“, stammt aus etwa 1500. In altem Slang wurde es auch für „eine Schreibmaschine“ (1913) und „einen Boxkampf oder einen anderen Boxkampf“ (1819) verwendet.