Arbeitsgerichtsgesetz [vom 3. September 1953] (Bund-Verl., 1953)