och de i § 17 angå krigsrättsprotokollen.