museibiblioteket sålunda gjordes vid auktionen , uppgingo till omkring 1,200 kr.