Bonds with ISIN US298785JK32 denomination, issuer of which EUROPEAN INVESTMENT BANK (EIB) have been redeemed in the recordkeeping system of the Central Securities Depository on March 30, 2026