east germany is part of germany