truppenintervention Synonym