Prins Henrik ontslagen uit ziekenhuis na operatie