Seol mar théacs é seo: Verzeichnis von in der DDR gebräuchlichen Abkürzungen