Kann man noch DDR Mark in Euro tauschen?