[hkt]

Correction: they used lime mortar. Modern concrete was created about a century and a half ago. The random bits were chunks of lime which increased the building's hydraulic qualities - lime self heals, concrete doesn't