The World Factbook (1990)/German Democratic Republic

