Always terrible news to hear of more lay-offs, regardless of the reason. I hate to see this during the holiday season too, I wish companies had a better way of doing this, but I understand why it seems to happen at this time of year.
Best wishes to all affected. Hopefully new jobs won't be...