In memoriam: Rudi Pevec