IN 1268 AND possibly earlier, a new technique was used to mine rock salt. Instead of miners carrying chunks of rock out steep shafts in baskets slung on their backs, and then crushing the rock into salt, water was piped into a dug-out vein of rock salt.
