Dem Erfordernis der Verhältnismässigkeit ist mit dem Ausmass der von den Arbeitnehmern zu erwartenden Vorkehrungen Rechnung zu tragen, welche sich nach den jeweiligen Umständen des Einzelfalls richtet (vgl. u.a. Urteil des Bundesgerichts 8C_641/2014 vom 27. Januar 2015 E. 4.1).
3.3.4. Das Ausmass der vorausgesetzten Schadenminderungspflicht richtet sich nach den jeweiligen Umständen des Einzelfalls. Vom Arbeitnehmer wird in der Regel nicht verlangt, dass er bereits während des bestehenden Arbeitsverhältnisses gegen den Arbeitgeber Betreibung einleitet oder eine Klage einreicht.