(Why) have women left East Germany more frequently than men?