In memoriam Miran Erič (1959–2023)