Deutsches Rechtswörterbuch (DRW): Bergwerkszehnt