biträdande domare och 6 officerare utgjorde krigsrätten.