Deutsches Rechtswörterbuch (DRW): Dompropsteipfleger