Deutsches Rechtswörterbuch (DRW): Bergimmunität