The mining sectors in Chile and Norway, ca. 1870–1940: the development of a knowledge gap. Issue 1 (2nd January 2018)