banarbetare med domkrafter , slipers m . m.