Selling off large personal library amassed over 65 years.