Seol mar théacs é seo: Die Reichskristallnacht als DDR-Geschichtspolitik