har riksrådet , just innan den höga församlingen tog sig julferier , minskat hufvudintendenturens budgetför