— Vattenledningen i Hamburg.