Berlin den 3 * Juli.