Ghastly or a joy? End of an era at the National Theatre