Germany :West Germany and Berlin: tourist guide