Murió Shlomo Nagar, el verdugo que ejecutó a Adolf Eichmann