Text this: Das Oberste Gericht der DDR