Den Helder. Koninklijk Paleis Den Helder, Kon. Instituut v. d. Marine "Instituut" (Opleidingsschool voor officieren der K.N.M.) Den Helder Den Helder. Paleis. Het Paleis (Commandementsgebouw). Den Helder Den Helder Den Helder, Koninklijk Institut voor de Marine Den Helder Marine Paleis Helder Kon. Instituut voor de Marine Versterkingskunst : vluchtige- en veldversterkingskunst ; handleiding ten dienste van de Adelborsten van het Koninklijk Instituut voor de Marine te Willemsoord / door J.M. Ente … Catalogus van de historische collectie in de bibliotheek van het Koninklijk Instituut voor de marine / door J. Arendsen Reunie adelborsten Willemsoord : 1854-1904 : overz. naamlijst
