Eigenbetriebsgesetz [in der Fassung vom 1. Oktober 1973] (1973)