Deutsches Rechtswörterbuch (DRW): Dreizehnergericht