Deutsches Rechtswörterbuch (DRW): Hoftheaterhofkommissar