Deutsches Historisches Museum, Bibliothek