bevarades åtminstone krigshofrättens karakter af krigsdomstol.