Marine Hospitaal (later Centrale Ziekenboeg) Den Helder
Nederlands Instituut voor Militaire Historie