Geringfügige Reibereien zwischen zivilen und militärischen Beamten müssen nicht jedes Mal gemeldet werden.