Den militära strafflagen i Norge.