Hamburg den ti Juli.