Gerry Anderson dies