1. Die Befreiung von der Insolvenzsicherungsbeitragspflicht nach § 17 Abs. 2 Alt. 2 BetrAVG setzt voraus, dass die juristische Person des öffentlichen Rechts als solche (an sich) kraft ausdrücklicher formell-gesetzlicher Regelung oder unmittelbar kraft höherrangigen Rechts insolvenzunfähig ist (Fortführung von BVerwG, Urteile vom 10. Dezember 1981 - 3 C 1.81 - BVerwGE 64, 248 <253 f.>, vom 14. November 1985 - 3 C 44.83 - BVerwGE 72, 212 <215 f.> und vom 4. Oktober 1994 - 1 C 41.92 - BVerwGE 97,...