domänintendenten ett pris af 4,000 kr.