De molen komt voor op de kaart van Tirion, waarvoor het veldwerk omstreeks 1743 verricht werd, en op die van Doesjan uit 1794. Komt al niet meer voor op de kaart van Mentz, waarvoor het veldwerk omstreeks 1812 verricht is.
Nico Jurgens, 16 jan. 2008.
trivia
NB nauwkeurigheid van de coördinaten +/- 30 m.
De Lantaarndijk of Haai (of Hey), zo genoemd naar he vele heiwerk dat nodig was), werd in 1662 gelegd tussen de latere Vissershaven en het latere Oostereiland, en sloot de Grashaven af.
Molen 07141 Molen op de Hey (W) (Hoorn)
Detail kaart A. Doesjan, 1794 (N is onder, coll. Ver. Oud Hoorn)
Molen 07141 Molen op de Hey (W) (Hoorn)Detail kaart A. Doesjan, 1794 (N is onder, coll. Ver. Oud Hoorn)