Rentenkürzung für DDR-Funktionäre gebilligt