. . "Marshal or other civil officer." . .