en komisk opera , benämnd“