Wie groß ist der grüne Winkel?

Wie lässt sich die Größe des grün markierten Winkels berechnen?