Wehrhahn-Attentat: So lief der Einsatz vor 16 Jahren