Berlin den 3 Juli , kl. 13,43 e. m . , ( officielt ).