sä , att till aflöning ät domänintendenter anwisats 3,000 kr.