— Tivolis nya teater.