• * Berlin den 1 november.