Den Ungerska staden Pesth,