残存するフェランティの名称.