2. a) Nach Art. 51 Abs. 1 lit. a des Bundesgesetzes über die obligatorische
Arbeitslosenversicherung und die Insolvenzentschädigung (AVIG; SR 837.0)
haben beitragspflichtige Arbeitnehmer von Arbeitgebern, die in der Schweiz
der Zwangsvollstreckung unterliegen oder in der Schweiz Arbeitnehmer
beschäftigen, Anspruch auf Insolvenzentschädigung, wenn gegen ihren
Arbeitgeber der Konkurs eröffnet wird und ihnen in diesem Zeitpunkt
Lohnforderungen zustehen. Wird über den Arbeitgeber der Konkurs eröffnet,
so muss der Arbeitnehmer seinen Entschädigungsanspruch laut Art. 53 Abs.
1