Deutsches Rechtswörterbuch (DRW): Bergobservanz