den extraordinarie marmbudgeten skulle såiunda gå tiil ll1 / , millioner , som skola användas dels för befästningar vid inloppen till Ktistiansand , Trondhjem och Bergen — Kristianiabefästes