During its eventful history it was redeveloped as an opera house in 1851 and was used by various owners and directors for opera, operetta and drama.
Dalam sejarahnya, gedung tersebut diubah menjadi gedung opera pada 1851 dan digunakan oleh berbagai pemilik dan direktur untuk opera, operetta dan drama.