library: a depository built to contain books and other materials for reading and study
depository: a facility where things can be deposited for storage or safekeeping
redemption: repayment of the principal amount of a debt or security at or before maturity (as when a corporation repurchases its own stock)