Oedipus at Colonus, closely translated from the Greek;