juni utgick , som bekant , det norska budgets året ,men