— Kristianshavns kanal i Köpenhamn.