Kristiania Tivoli-teater är från15