om krigshofrättens indragning , 5,000 kr.