— Kristiania Tivoli och namnnamn.