diabolus in opera