Deutsches Rechtswörterbuch (DRW): Bergzehnt