Deutsches Rechtswörterbuch (DRW): Altstadtfangenenkeller