. . "Defunct executive agency of the United Kingdom government" . . .