militaerische intervention Synonym