toelichting naam

Deze molen wordt vanouds 'de Hooidonkse (water)molen' genoemd.

literatuur

Ed van Gerven, 'Geen half werk bij de Hooydonkse Watermolen', in: Molens 60 (2000)  4 - 7.