. . "of which the District is a part, has a population of 5.3 million, the" . .