Kanalens dimensioner äro af hringeniör