BBC News: Brian Mitchell – Man run over by four Jubilee line trains, RAIB report reveals.