The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) On the classification of commutative formal group laws over p-Hilbert domains and a finiteness theorem for higher Hasse-Witt matrices 