Industriarbeidermuseet, i Vemork, se Norsk Industriarbeidermuseum.