Naam staat vermeld in de huwelijksakte van kleinzoon Leendert van Anen <> Mietje de Koning, Hazerswoude, d.d. 27 mei 1836.