bergsarbetare hade det emellertid väsentligen bättre stäldt än Englands.