Hamburg ( leii li Juli.