ter at det » tore kongelige Bibliotek blev erklseret