A look at some of the events taking place at the Edinburgh Festival.