Hamburg den Juli.