. . . "Defunct United States district court" . .