Laut US-Präsident Trump ist Abu-Bilal al-Minuki, ein ranghoher Kommandeur des Islamischen Staat, in Nigeria getötet worden. Der IS ist im Westen Afrikas stark vertreten.