Militair Hospitaal te Willemsoord. Willemsoord Militair Hospitaal Helder, Marine Kazerne "Willemsoord."