f. d. embetsmän af olika kategorier.