( för justitiedepartementet ) af 15,000 kr.