East Germany's gender legacy: Do its girls employees have an edge?