krigsrätt kommer således icke att nedsättas.