af de trupper , som redan finnas i Sudan , äro 12,000 man alldeles nödvändiga.