Soweit in diesem Bundesgesetz der Begriff des Dienstnehmers gebraucht wird, sind darunter sowohl die zur dauernden Dienstleistung zugewiesenen Beamten als auch die sonstigen Arbeitnehmer der Gesellschaft (Angestellte, Arbeiter, ehemalige vertragliche Bedienstete) zu verstehen.