( dikning i ersättning för gråsten.