Deutsches Rechtswörterbuch (DRW): pensionieren