gamle prins Henrik den 74:e (f.