Den Helder. Paleis. Het Paleis (Commandementsgebouw). Den Helder Den Helder Den Helder, Koninklijk Institut voor de Marine Kon. Institut v. d. Marine te Willemsoord Koninklijk Instituut Willemsoord Koninklijk Instituut voor de Marine Grote slaapzaal, Koninklijk Instituut voor de Marine Den Helder Marine Paleis Helder Kon. Instituut voor de Marine Ingang Lu. A. Schietkamp den Helder Binnenplaats Luchtdoelartillerieschietkamp, Den Helder