Deutsches Rechtswörterbuch (DRW): Holzdingsgerichtsbuch