Berlin den .9 Juni.