Militärbibliothek der Deutschen Demokratischen Republik.