Den stora katalogen , å öfver 8,000 vol . , tillauktionen