Facts about Germany: the Federal Republic of Germany. (Press and Information Office of the Government of the Federal Republic of Germany, 1972)