. . . . . . . . . . . . . . . . . . . . . . . . . . . "Judge of defunct United States district courts" . . . .