The Holocaust in university teaching by Gideon Shimoni