plaatselijk ook wel 'Fonteinmolen' genoemd