Rentner können auch die Inflations­prämie bekommen