Boko-Haram-Anführer getötet