Tivoli, Copenhagen, before Christmas