Dies ist die frühere Bezeichnung für die Arbeiterrentenversicherung.