lär hafva användts till festivitetssal , innehåller eli af 13,000 volumer bestående bibliotek , sammanslaget af tre andra på olika ställen i hufvudstaden inrymda mililärbibliotek , nemligen det Södermarkska , generalstabensocb