Wann wurde das letzte Todesurteil in der DDR vollstreckt?