[Edinburgh international festival of music and drama. 24 August - 13 September 1947.]