fallet wid frägan om de stänsta stenkolen.