erhällit ett nytt namn , nenlligen " Kristiania Tivoli ."