Operans namn är » Häxan ».