Deutsches Rechtswörterbuch (DRW): Hofamtsbediente