Budapest den 10 fehr.