Royal Opera Orchestra, Stockholm