Originally rock quarries, the mines were turned into catacombs in 1786.