Buda-Pest den 12 dec.