Wie hoch ist die Rente für ehemalige Stasi-Mitarbeiter?