Totalsumman för att fullborda kanalen bliralltså