Deutsches Rechtswörterbuch (DRW): Königsdegen