Deutsches Rechtswörterbuch (DRW): (Mühlenpfänder)