The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) On valued function fields. III: Reductions of algebraic curves. Appendix (by Ernst Kani): The stable reduction theorem via moduli theory 