Berlin den 3 Augusti.