anslag till krigshofrätten å 11,000 kr.