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