File:Ernest Bender (1919–1996).png