d. b . Hamburg ben 30 Juli.