district property

dynamic district
getter/setter pair

Implementation

dynamic district;