detta bibliotek och k. riksarkivet slutligen tillfallit det sist nämda.