sålts till egaren af Kristiania Tivoli B.