Muddringen i Riddarholmskanalen harfortgått