== Ehrungen ==
<!-- Staatliche Ehrungen aufführen, die auch in der Infobox erwähnt werden (mit Datum/Jahr) -->''folgt''* [[Datei:GER_Bundesverdienstkreuz_7_Grosskreuz.svg|x15px|link=Bundesverdienstkreuz]] [[Verdienstorden der Bundesrepublik Deutschland|Großkreuz des Verdienstordens der Bundesrepublik Deutschland]] (21.09.2020)
== Sonstiges ==