fortsättas kanalarbetena med en arbetsstyrka af 9,000 man.