Bis wann Umtausch DDR Mark?