läger af 25,000 man , och garnisonen vid Ceuta skal uppgå till 5,000 man.