The local economic impact of shale gas extraction