DDR-Gesamtkatalog (DDR-Gesamtkatalog, 1987)