Buda-Pest den 9 nov.