tjenstgör i krigsrätten ist.