Borut Trekman (1942-2023) : in memoriam