Gross domestic product (GDP) at basic prices, by industry - Supporting Document