International Bank for Reconstruction and Development, dated July 8, 1971.