Bei Attacke auf Armeebasis in Mali mindestens 17 Menschen getötet