From socialist showcase to Mezzogiorno? Lessons on the role of technical change from East Germany's post-World War II growth performance