Deutsches Rechtswörterbuch (DRW): Hüttenlehen