Translation of "Militaerisches eingreifen" in English