Buda-Pest den 7 dec.