en folkfest , som firades i Hjorten , Trondhjems Tivoli,