The Opera House and the public. Alderman Jensen's announcement, as chairman of the Opera House