The Old Boys: cutting relating to the play starring Michael Redgrave