Totalökningen i anslagen till marinen,