stora bibliotek till högre elementarläroverket derstädes.