Title: East German productivity convergence with West Germany