9 ' Berlin den 9 Juni.