I've read that East Germans who defected to the West would often cross the border once again after retirement to have access to East German social services. Was this an actual documented phenomenon?