> In June 2000, Havas was merged with other companies into Vivendi Universal, which unfortunately led to more restructuring and lay-offs.

This makes a bit more sense - I think I remember Gunman Chronicles having Havas listed as the publisher which always confused me as I was sure it was Sierra or Vivendi on the box.