åren har befolkningen i Jerusalem stigit från knappast 40,000 till öfver 80 , 000.