“the Market Theatre, Johannesburg”