Sørlandsbanen åpnet igjen – kjøreledning reparert