THE ORCHESTRA OF THE ROYAL DANISH THEATRE