militaerischer einsatz Synonym