Den norska e. o. försvarsbudgeten,