The German Currency Reset of 1948 and the Wirtschaftswunder.