During the Cold War, in everyday conversation, was West Germany referred to as "Germany" like South Korea is currently often referred tooften referred to as "Korea" and the People's Republic of China is currently often referred to as "China"?
replaced http://english.stackexchange.com/ with https://english.stackexchange.com/