BERLIN ilen 3 juli.