A look at some of the events that took place as part of the 1954 Edinburgh Festival.