en ny bibliotheks-lokal ; af Krigs-Kollegium ,!