Deutsches Rechtswörterbuch (DRW): Amtsrichtleute