Deutsches Rechtswörterbuch (DRW): Berghauptmannsamt