Berlin den 3 augusti- Officiell.