Kiel, alter Eider-Kanal in Holtenau