Christie’s London Auction Catalogue, 19 April 2000, Old Master Pictures.