In memoriam Johann Jurenitsch (1947–2017)