för några år sedan utgjorde blott 12,000 personer , utgör nu öfver 30 , 000 , medanJerusalems