7172X3 ) innehafvare af Kristiania Tivoli,