How the BBC is run: information about the Executive Board, senior management and the BBC Trust