Shteinman, Aharon (1913-2017)