revolutionens utbrott ansenligen förökats , tidtals ända till 16 , 000 ; under det 20 , 000 , i nödfall 25,000 skulle kunna inrymmas.