Deutsches Rechtswörterbuch (DRW): Bergdominium