Deutsches Rechtswörterbuch (DRW): Bergwerkabgabe