Berlin den 4 November.