Holocaust education should be compulsory in school.