Militärinterventionen und die linke Bewegung in Deutschland