Tivolireetaurationen i Kristiania brann natten till i förgår.