Buda-Pest den 4 maj.