kring 19,000 murare och 6,000 timmer män instäldo arbetet ; 12,000 murarelemnade