Dorothy: A comedy opera