Es war einer der größten Polizeieinsätze gegen Extremisten in der Geschichte der Bundesrepublik: rund 3.000 Einsatzkräfte gegen eine mutmaßliche Terrorgruppe.