arvode åt krigshofrättens ordförande och trenne militära ledamöter 5,000 kr.