No-one who has looked at the images of extermination of six million Jews in the Holocaust Memorial of Yad Vashem in Jerusalem will underestimate the impact of the appalling 7 October 2023 Hamas attack ...