betydliga bibliotek till högre elementarläroiverket i staden.