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

