Deutsches Rechtswörterbuch (DRW): Hinterdegen