krigshofrättens indragning 5,000 kronor bewiljas säsom extra anslag till arvoden åt krigshofrättens ordförande och militäre ledamöter ; att 40,000 kr.