Deutsches Rechtswörterbuch (DRW): Hofspielleute