Gene Amdahl has died