The German Economic Miracle Depended on Immigrants