De bibliotheek van het Koninklijk Instituut voor de Marine
Nederlands Instituut voor Militaire Historie