Wann hörte die DDR auf zu existieren?