Deutsches Rechtswörterbuch (DRW): (Binnendeicher)