sänkning af sjön Hallungen i dito län;