the industrial district