ledningen af Kristiania Tivoliteater.