| Berlin den 19 Juli.