Wann wurde der letzte in der DDR hingerichtet?