värdet af det petroleum , som i maj månad 1871 användes till den gamla byggnadens , originalets , förstöring.