Deutsches Rechtswörterbuch (DRW): Pirschdistrikt