Großeinsatz in Heidelberg: Angreifer ist tot