Deutsches Rechtswörterbuch (DRW): Bergkasten