Deutsches Rechtswörterbuch (DRW): Hüttenbeständer