uppgår norska marinens budgst till något mera än en sjundedel af landets hela inkomst.