Johan Hendrik Weidner - Dutch World War II hero (1912–1994)