Deutsches Rechtswörterbuch (DRW): Hauptrainstein