Trenne kungliga teaterns chefer,