Gross Domestic Product (in CHF million), at current prices (in CHF million)