Details, and review, of the above Proms 2023 performance: