Deutsches Rechtswörterbuch (DRW): Erbgangstollen