district The name of the administrative area (county).
String? get district => throw _privateConstructorUsedError;