nämnde kanals högtidliga invigning.