Hvad Heffnerska gropen beträffade,