mez ’ troppstyrka i Asturien eller Leon till 13,000 man.