redan ökat den vanliga höga militärbudgeten med 80 millioner.