WEST GERMANY see Germany, Federal Republic of