Deutsches Rechtswörterbuch (DRW): Kampfzeit