In memoriam Janez Dotti (1952-2024)