Den extra ordinarie norska försvarsbudgeten.