EAST GERMANY see Germany, Democratic Republic of