The World Factbook (1982)/German Democratic Republic

