Egon Zimmermann (1933–2016)