Hat man in der DDR in die Rente eingezahlt?