Hans Erni (Swiss, 1909–2015)