Hamburg den .9 Juni.