Today, the average Korean works a thousand hours more a year than the average German. A thousand. … That is the end of the Great Divergence.