Deutsches Rechtswörterbuch (DRW): Bordingmeister