The collection was auctioned in 2016 by Christie’s.