Opera : an encyclopedia of world premieres and significant performances