trivia De molen was uitgerust met een schroef met een diameter van 0,84 m en bemaalde De Holepolder (59 ha) op het Hole Maar, opgericht in 27 november 1854.