Gesetzliche Rentenversicherung: Pflichtversicherung