Industriemuseum: een nieuwe naam, een nieuwe hoofdtentoonstelling. (Stadsarchief, 2019)