Den militära strafflagstipningen i i Tyskland.