The Dutch term "official" matches the English term "functionary"