Nederlands Instituut voor Militaire Historie
Het Marinemuseum bij de opening in 1963.