Deutsches Rechtswörterbuch (DRW): Pensionalbuch