Buda-Pest den 10 dec.