The German economic miracle after the second world war