Ship traffic optimization for the Kiel Canal - Lübbecke, Elisabeth; Lübbecke, Marco E.; Möhring, Rolf H. (Operations Research, 2019)