Ehrensenatorenwürde für Gerda und Fritz Ruf