Pest — eastern part of Budapest, Hungary, former independent city (–1873)