åt domänintendenterna sålunda , att 3,000 kr.