krigsoperationer m . m.