Halövys opera " Judinnan ",