Distributing means for power supply in mines