Deutsches Rechtswörterbuch (DRW): Gastrichter