One thing I haven't figured out definitely how to do yet: Does this mean that you make one e.g. Industrial District for X number of cities within 6/9/12 tiles, or do the bonuses stack? Will two ID within 6 tiles of two cities provide production for both cities?