strafflagen för krigsmakten dömes till disciplinstraff.