Deutsches Rechtswörterbuch (DRW): (Polderzehnt)