BERLIN den 9 joli.