toelichting naam Al in 1699 wordt deze molen vermeld als "De Oranjestam". Die naam is in de praktijk nauwelijks veranderd.