Berlin den 4 Augusti.