Hamburg den t » Juli.