In memoriam Pintér Gyula