trade union official
includes an official of a federation of trade unions.