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
