Production worker employment by industry group, adjusted for seasonal variation (in thousands of persons).