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