International Bank for Reconstruction and Development, dated June 13, 1973.