Akiva Bar-Nun 1939-2017