Heights and Real Wages in the 18th and 19th Centuries: An International Overview