ratieri öfver cirka 11,000 man.