Christopher Columbus / by Michel de Ghelderode ; directed by Phil Austin.