Deutsches Rechtswörterbuch (DRW): Schiedungrecht