§ 517 Die bisherige Allgemeine Invalidenversicherungsanstalt besteht als Pensionsversicherungsanstalt der Arbeiter, die bisherige Angestelltenversicherungsanstalt als Pensionsversicherungsanstalt der Angestellten und die bisherige Bergarbeiterversicherungsanstalt als Versicherungsanstalt des österreichischen Bergbaues weiter.
