west germany is part of germany