Jnstrumentalmusiken utfördes af den kongl ,teaterns