Mieder W. Peter Grzybek (November 22, 1957–May 29, 2019). SCN 2020, 12, 121–132.