Een lederen mijnwerkershelm. Collectie Industriemuseum