EAST GERMANY see Germany, Federal Republic of