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