* * Berlin den 1 november.