att häradsrättens dom mot Märtensson wann laga krast.