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.