Gate Theatre, Dublin, Ireland