— Den norska extraordinarie budgeten.