krigshofrättens indragning 5,000 kr.