Text this: The East German leadership and the division of Germany