ryckte i Belfast 1,000 man infanteri och200