Was wurde aus den DDR grenzern?