Deutsches Rechtswörterbuch (DRW): Hauptgrenzmal