in memoriam werner wirsing (1919 – 2017)