för Kristiania Tivolis teatraliska nöjen.