äro : a ) strafflag för krigsmakten ; b ) en kgl.