Ändringarna i § 7 röra krigsrättssam-