HAMBURG d » 7 Juni.