ferdinand porsche dies aged 76