On Shimon Ballas (1930-2019)