Wagner’s anti-Semitism