Deutsches Rechtswörterbuch (DRW): Erdtoffelzehnt