DDR-Gesamtkatalog (Buchexport Leipzig, 1987)