Buda — western part of Budapest, Hungary, former independent city