nu skulle komma att tillämpas beträffande marinen , enär stortingets militärkomité föreslår att bevilja till detta departement endast 1.252.000 kr. , under detregeringen