— Krigsbudgeten i Norge.