Christie’s London Auction Catalogue, 9 November 2000, Old Master Pictures.