Extremalität translationsinvarianter Phasen für ein Finite-State-SOS-Modell auf dem Binärbaum