[721] * Die Bannmühle, plur. die -n, an einigen Orten, eine Mühle, auf welcher gewisse Unterthanen zu mahlen gezwungen sind; eine Zwangmühle, Franz. Moulin à ban, Moulin bandier oder bannal.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 1. Leipzig 1793, S. 721.