Henry Gundersen (1920–1945), Norwegian resistance member who was executed during the occupation of Norway by Nazi Germany