partition of germany