är oförändrad t. BERLIN den 13 juni.