Title: Denis Johnston and the Irish theatre