Title: Catalogue of the Library of Philips van Marnix van Sint-Aldegonde, sold by auction