nämligen på sistnämnda ställe 724 mm . , då det normala lufttrycket anses vara 760 mm.