och Stockholm äro till storleken ungefär lika biblioteken i Berlin och Dresden.