Deutsches Rechtswörterbuch (DRW): Jungfernstock