slutet , ordet krigsrätt , som bör vara riksrätt.