West Germany was the common English name for which country?