See my comment from two days ago in previous thread:

* https://news.ycombinator.com/item?id=44876283

AIUI, the money they are taking out is 'surplus'. All current obligations will be handed off to either an insurance company / annuity or lump sum. Future retirement funds will probably be in personal 401(k)s.