Deutsches Rechtswörterbuch (DRW): (Mühlenwinn)