Text this: Die Reichskristallnacht als DDR-Geschichtspolitik