Todesstrafe in der DDR: Unterschied zwischen den Versionen