och de i § 17 angå krigsrätisprotokollen.