Wie lange gab es Todesstrafe in der DDR?