“So the workmen labored, and in their hands the repair work progressed. They restored the house of God according to its specifications, and they reinforced it.”