Wie groß ist der rote Winkel?

Wie lässt sich die Größe des rot markierten Winkels ermitteln?