Restaurationsbyggnaderna å Tivoli i Kristiania nedbrunno i torsdags.