Deutsches Rechtswörterbuch (DRW): Bergoberst