* * Budapest den 12 november.