åt domänintendenter och 6,600 kr.