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