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