Recordings of Oedipus in Kolonos, incidental music, op. 93