International Bank for Reconstruction and Development, dated June 25, 1971.