toelichting naam De molen heette in het verleden ook wel de Wirremolen, de Verremoele en later de Vehrmolle, Vermolen