Deutsches Rechtswörterbuch (DRW): (Hofmannschaft)