Directory of nuclear reactors. supplement to vols 4. and 7 (International Atomic Energy Agency, 1971)