i Warschawa har ökats till 8,000 man.