är härför redan uppsatt ; pumpningen börjades i Oktober och fortgick utan afbrott till den 20 December , vid hvilken tid det mesta vattnel hunnitundanskaffas