The library was sold by Pinelli's heirs to the London bookseller, James