Migrants Added €35 Billion to the German Economy