7172X3 ) innehafvaro af Kristiania Tivoli.