Hvad nu Stora teaterns personal beträffar,