» Berlin den 1 Juni,