[302] Der Mühlenamtmann, des -es, plur. die -männer, ein Amtmann, welcher über mehrere Getreidemühlen gesetzt ist.