Nederlands Legermuseum "Generaal Hoefer", Leyden, Netherlands. Historische Bibliotheek, Delft