Deutsches Rechtswörterbuch (DRW): Heißrichter