förändringen af namn för häradsrätterna till lagmansrätter.