PAP phosphatase from Methanothermococcus thermolithotrophicus refined to 3.1 A