Deutsches Rechtswörterbuch (DRW): Jungferschänder