hus i Kristiania Tivoli.