till dessa tjenstemän , om det visade sig,