The Germans and the dog were engaged in a military operation which had an amusingly self-explanatory name, a human enterprise which is seldom described in detail, whose name alone, when reported as new or history, gives many war enthusiasts a sort of post-coital satisfaction. It is, in the imagination of combat's fans, the divinely listless love play that follows the orgasm of victory. It is called "mopping up."