The term mill (Latin mola, German Mühle, French moulin) generally denotes any facility for the mechanical crushing or processing of raw materials, for example, grain mills or grist mills, oil presses, paper mills, powder mills (Gunpowder), saw mills, tanbark mills (Leather production), stamping mills, silk mills, and fulling mills, as well as crushing mills (Mineral dressing). In the narrower sense, a mill was generally understood to be a grain mill (see Machine, with fig. 1)…