på krigs- och marinministerierna , hvilkas budgeter äro resp. 9 millioneroch