The World Factbook (1982)/Germany, Federal Republic of

