Title: Revised index of industrial production, 1935-1957