Wie hoch war der zwangsumtausch in der DDR?