Deutsches Rechtswörterbuch (DRW): (Pfannensetzer)