Deutsches Rechtswörterbuch (DRW): Brunnenkönig