einsatz von truppen Synonym