Deutsches Rechtswörterbuch (DRW): (pensitieren)