Norges mariubudget endast upptoge 8 ' / 2 mill kr.