f. m . Berlin den 3 Juli.