Verzeichnis von in der DDR gebräuchlichen Abkürzungen (Inst., 1975)