6 US manufacturing output roughly doubled in the past twenty five years but that higher output is produced with 1 3 fewer workers How much has productivity increased in US manufacturing over the past twenty five years