25 300 man ; för några år sedan utgjorde de i Irland förlagda trupperna under enkort