“Batman, the Opera”