East versus West: Energy intensity in coal-rich Europe, 1800–2000. (November 2018)