Den norska extra ordinarie försvarsbudgeten.