Berlin, West Germany