äro do pensionsborättigade tjenstemän.