arbetarnes antal till 20 , 000.