Was West Berlin Part Of West Germany