Deutsches Rechtswörterbuch (DRW): Hochgerichtsstrafe