Deutsches Rechtswörterbuch (DRW): Pfannhauswaldmeister