Title: Catalogue of the eightieth public sale