Was East Berlin Part Of East Germany