dantag af det Sommerbjelmska biblioteket.