Deutsches Rechtswörterbuch (DRW): Bergwerksteuer