marinbudget omfattade 5 ' / a mill.