Bibliographie von Ernst Jenni - Jenni, Ernst 1927-2022 (2018)