4.1. Gemäss Art. 51 Abs. 1 des Bundesgesetzes über die obligatorische Arbeitslosenversicherung und die Insolvenzentschädigung (AVIG) haben beitragspflichtige Arbeitnehmer von Arbeitgebern, die in der Schweiz der Zwangsvollstreckung unterliegen oder in der Schweiz Arbeitnehmer beschäftigen, Anspruch auf Insolvenzentschädigung, wenn: a) gegen ihren Arbeitgeber der Konkurs eröffnet wird und ihnen in diesem Zeitpunkt Lohnforderungen zustehen; oder b) der Konkurs nur deswegen nicht eröffnet wird, weil sich infolge offensichtlicher Überschuldung des Arbeitgebers kein Gläubiger bereit findet, die Kosten vorzuschiessen;