In memoriam: Imre Barta 1899--1978.