district judge — judges in the magistrates' courts of England and Wales