The University Library Oslo. A brief survey of its history, collections and building. (Grøndahl, 1947)