2.2 Eine Gratifikation ist eine Sondervergütung, welche der Arbeitgeber neben
dem Lohn bei bestimmten Anlässen, wie Weihnachten oder Abschluss des Geschäftsjahrs, ausrichtet. Sie zeichnet sich gegenüber dem Lohn dadurch aus, dass
sie zum Lohn hinzutritt und immer in einem gewissen Masse vom Willen des Arbeitgebers abhängt. Die Gratifikation wird damit ganz oder zumindest teilweise freiwillig ausgerichtet (BGE 139 III 155 E. 3.1 m.w.H.). Freiwilligkeit ist anzunehmen,
wenn dem Arbeitgeber zumindest bei der Festsetzung der Höhe des Bonus ein
Ermessen zusteht.