Buda-Pest den 12 nov.