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