mellan detta bibliotek och k. riksarkivet slutligen tillfallit det sistnämnda.