Verleihung der Ehrensenatorenwürde an Klaus-Dieter Lehmann