Deutsches Rechtswörterbuch (DRW): Mühlsteiger