krigsrätten ingifvit kostnadsräkning å 9,000 kr.