’ Hamburg den 5 Juli.