In Memoriam: Dang Sheng Su (1961--2019)