Der Große Duden Rechtschreibung, (1980 DDR), VEB Bibliographisches Institut