What has the world learned from the Holocaust?