Deutsches Rechtswörterbuch (DRW): Ammannsleute