west germany vs east germany