Ruhestandsregelungen für ehemalige Senatsmitglieder