under årens lopp att för utlandet ställa sig som hufvudstad äfven för Norge ; Kristiania blir Norges provinsiella hufvudstad.