Se incluyen el total de obreros diferenciados por distrito industrial entre los años 1945 y 1985. La variable “Total” se incluye para efectos de cotejo; proviene de la fuente original.