Deutsches Rechtswörterbuch (DRW): Königsforst