— Festligheter i Hamburg.