granden för domkretsen , upphör benämningen häradsrätt , och ersättes med tingsrätt , medan domaren erhåller den gamla benämningen lagman.