Sardinia: Istat data on regional gross domestic product