Text this: Historians of the German Democratic Republic on antisemitism and persecution