Hof bergs boksamling , ( 7513 .)