Deutsches Rechtswörterbuch (DRW): (Bordingsführer)