Deutsches Rechtswörterbuch (DRW): Bergwesengeneralinspektor