Happy International Holocaust Remembrance Day to those who celebrate.