Title: Index of Industrial Production and the Output-based Measure of Gross Domestic Product (Studies in Official Statistics)