vid biblioteket äro anslagna 1,500 kr. , till underhåll och reparationer af byggnader8.000