i dag krigsministerns budget.