Deutsches Rechtswörterbuch (DRW): Bergwerksangelegenheit