Deutsches Rechtswörterbuch (DRW): Amtsrichter