Mehr als 9000 ausländische Soldaten in Mali