City of Berlin den 4 Augusti.