I går var det naturligtvis en ovanlig teaterafton på Stora teatern.