Trenne kungliga theaterns chefer,